Electronic Books

Total Books: 41 - 60 /141
Deep Learning for Computational Problems in Hardware Security : Modeling Attacks on Strong Physically Unclonable Function Circuits / Pranesh Santikellur, Rajat Subhra Chakraborty

Discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...

Lee mas
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems

In this book defense and security related applications are increasingly being tackled by researchers and practioners using ...

Lee mas
Dependability Metrics : Advanced Lectures

This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...

Lee mas
Dependable Systems: Software, Computing, Networks

The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...

Lee mas
Distributed Event-Based Systems

Event-based architectures inherently decouple system components. Event-based components are not designed to work with specific ...

Lee mas
Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

Lee mas
Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

Lee mas
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...

Lee mas
NoIMG
Enabling Things to Talk : Designing IoT solutions with the IoT Architectural Reference Model /

The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. ...

Lee mas
Engineering Societies in the Agents World V

The ?rst workshop “Engineering Societies in the Agents World” (ESAW) was held in August 2000, in conjunction with the ...

Lee mas
Formal Approaches to Agent-Based Systems

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...

Lee mas
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

Lee mas
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...

Lee mas
Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Lee mas
Foundations of 3D Graphics Programming : Using JOGL and Java3D

This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...

Lee mas
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...

Lee mas
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...

Lee mas
Generative Programming and Component Engineering

Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...

Lee mas
GeoSensor Networks : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers

This book constitutes the thoroughly refereed proceedings of the Second GeoSensor Networks Conference, held in Boston, Massachusetts, ...

Lee mas
Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings

This book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer ...

Lee mas
Total Books: 41 - 60 /141